Composing programs in a rewriting logic for declarative programming

机译：用重写逻辑编写程序以进行声明式编程

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
J. M. Molina-bravo; E. Pimentel;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Composing programs in a rewriting logic for declarative programming [J] . J. M. MOLINA-BRAVO, E. PIMENTEL Theory and Practice of Logic Programming . 2003,第2期

机译：用重写逻辑编写程序以进行声明式编程
2. Approach to declarative programming based on a rewriting logic [J] . Gonzalez-Moreno JC, Lopez-Fraguas FJ, Rodriguez-Artalejo M, The Journal of Logic Programming . 1999,第1期

机译：基于重写逻辑的声明式编程的方法
3. Executable rewriting logic semantics of Orc and formal analysis of Orc programs [J] . Musab A. AlTurki, Jose Meseguer Journal of Logic and Algebraic Programming . 2015,第4期

机译：Orc的可执行重写逻辑语义和Orc程序的形式分析
4. A Rewriting Logic for Declarative Programming [C] . J.C.Gonzalez-Moreno, M.T.Hortala-Gonzalez, F.J.Lopez-Fraguas, European symposium on programming;ESOP'96 . 1996

机译：声明式编程的重写逻辑
5. Declarative debugging of functional logic programs. [D] . Correa Zabala, Francisco Jose. 2002

机译：功能逻辑程序的声明式调试。
6. Extending the capabilities of diagnostic decision support programs through links to bibliographic searching: addition of canned MeSH logic to the Quick Medical Reference (QMR) program for use with Grateful Med. [O] . R. A. Miller, L. Jamnback, N. B. Giuse, 1991

机译：通过链接到书目搜索来扩展诊断决策支持程序的功能：在快速医学参考（QMR）程序中添加罐装MeSH逻辑以与Grateful Med一起使用。
7. Composing Programs in a Rewriting Logic for Declarative Programming [O] . Molina, Juan M., Pimentel, Ernesto 2002

机译：在声明性编程的重写逻辑中编写程序

Composing programs in a rewriting logic for declarative programming

著录项

引文网络

相似文献

相关主题

期刊订阅